Xen Summit 2026

Xen Summit 2026

arrow_back View All Dates

09:00 CEST

Robots Among Us: a Least-Privilege Xen Architecture for Safe Humanoid Robots HEADS office - Gold Room

09:30 CEST

Toward Reproducible OSS Reference Integration: Challenges in Automotive Xen-on-Arm BSP Integration HEADS office - Gold Room

10:00 CEST

ARINC 653 on Xen: A Unikraft Safety Architecture HEADS office - Gold Room

10:30 CEST

Morning Coffee Break HEADS office - Gold Room

10:45 CEST

Managing per-guest resources in Xen HEADS office - Gold Room

11:15 CEST

Secure Inter-Domain Communication: Implementing VSOCK over Xen Argo HEADS office - Gold Room

11:45 CEST

Improving Xen Traceability: More Than Just Livepatching HEADS office - Gold Room

12:15 CEST

Compiler assisted Xen code elimination HEADS office - Gold Room

12:45 CEST

Lunch Break HEADS office - Gold Room

13:45 CEST

Xen Functional Safety Certification (an update) HEADS office - Gold Room

14:15 CEST

Flight-Grade Xen: DO-178C Reverse Engineering for an example in list.h HEADS office - Gold Room

14:45 CEST

Safety Cases as Data: The SPDX Functional Safety Profile and Lessons from Zephyr HEADS office - Gold Room

15:15 CEST

Formal Methods for Xen's Safety and Security HEADS office - Gold Room

15:45 CEST

Afternoon Coffee Break HEADS office - Gold Room

16:00 CEST

Display Para-Virtualization HEADS office - Gold Room

16:30 CEST

Preparing Xen on Arm for VHE-Always Hardware HEADS office - Gold Room

17:00 CEST

Xen on RISC-V: From Dom0less to xl HEADS office - Gold Room